Checkers is solvedSCHAEFFER, Jonathan; BURCH, Neil; BJÖRNSSON, Yngvi et al.Science (Washington, D.C.). 2007, Vol 317, Num 5844, pp 1518-1522, issn 0036-8075, 5 p.Article

Solving logic program conflict through strong and weak forgettingsYAN ZHANG; FOO, Norman Y.Artificial intelligence. 2006, Vol 170, Num 8-9, pp 739-778, issn 0004-3702, 40 p.Article

Virtual museums for all: employing game technology for edutainmentLEPOURAS, George; VASSILAKIS, Costas.Virtual reality (Waltham Cross). 2005, Vol 8, Num 2, pp 96-106, issn 1359-4338, 11 p.Article

Behavioral diversity, choices and noise in the iterated prisoner's dilemmaCHONG, Siang Y; XIN YAO.IEEE transactions on evolutionary computation. 2005, Vol 9, Num 6, pp 540-551, issn 1089-778X, 12 p.Article

Unraveling ancient mysteries : Reimagining the past using evolutionary computation in a complex gaming environmentREYNOLDS, Robert G; KOBTI, Ziad; KOHLER, Timothy A et al.IEEE transactions on evolutionary computation. 2005, Vol 9, Num 6, pp 707-720, issn 1089-778X, 14 p.Article

Sensor networks and distributed CSP: communication, computation and complexityBEJAR, Ramon; DOMSHLAK, Carmel; FERNANDEZ, Cèsar et al.Artificial intelligence. 2005, Vol 161, Num 1-2, pp 117-147, issn 0004-3702, 31 p.Article

Alternate modeling in sport schedulingPERRON, Laurent.Lecture notes in computer science. 2005, pp 797-801, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 5 p.Conference Paper

Approximate constrained subgraph matchingZAMPELLI, Stéphane; DEVILLE, Yves; DUPONT, Pierre et al.Lecture notes in computer science. 2005, pp 832-836, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 5 p.Conference Paper

Conditional symmetry breakingGENT, Ian P; KELSEY, Tom; LINTON, Steve A et al.Lecture notes in computer science. 2005, pp 256-270, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 15 p.Conference Paper

Exploiting unit propagation to compute lower bounds in branch and bound max-SAT solversCHU MIN LI; MANYA, Felip; PLANES, Jordi et al.Lecture notes in computer science. 2005, pp 403-414, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 12 p.Conference Paper

2-Way vs. d-way branching for CSPHWANG, Joey; MITCHELL, David G.Lecture notes in computer science. 2005, pp 343-357, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 15 p.Conference Paper

Consistency for quantified constraint satisfaction problemsNIGHTINGALE, Peter.Lecture notes in computer science. 2005, pp 792-796, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 5 p.Conference Paper

Generating corrective explanations for interactive constraint satisfactionO'CALLAGHAN, Barry; O'SULLIVAN, Barry; FREUDER, Eugene C et al.Lecture notes in computer science. 2005, pp 445-459, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 15 p.Conference Paper

Organizing large case library by linear programmingCAIHONG SUN; SIMON CHI KEUNG SHIU; XIZHAO WANG et al.Lecture notes in computer science. 2005, pp 554-564, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 11 p.Conference Paper

Coevolutionary multi-objective optimization using clustering techniquesSIERRA, Margarita Reyes; COELLO COELLO, Carlos A.Lecture notes in computer science. 2005, pp 603-612, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 10 p.Conference Paper

A framework for reactive motion and sensing planning : A critical events-based approachMURRIETA-CID, R; SARMIENTO, A; MUPPIRALA, T et al.Lecture notes in computer science. 2005, pp 990-1000, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 11 p.Conference Paper

Rough contraction through partial meetsBANERJEE, Mohua; SINGH, Pankaj.Lecture notes in computer science. 2005, pp 726-731, issn 0302-9743, isbn 3-540-30506-8, 1Vol, 6 p.Conference Paper

Tractable decision for a constraint language implies tractable searchCOHEN, D. A.Constraints (Dordrecht). 2004, Vol 9, Num 3, pp 219-229, issn 1383-7133, 11 p.Article

Design of nearest neighbor classifiers using an intelligent multi-objective evolutionary algorithmCHEN, Jian-Hung; CHEN, Hung-Ming; HO, Shinn-Ying et al.Lecture notes in computer science. 2004, pp 262-271, issn 0302-9743, isbn 3-540-22817-9, 10 p.Conference Paper

Extending unit propagation look-ahead of DPLL procedureANBULAGAN.Lecture notes in computer science. 2004, pp 173-182, issn 0302-9743, isbn 3-540-22817-9, 10 p.Conference Paper

Circuit consistenciesIDRISSI, Abdellah; BEN HASSINE, Ahlem.Lecture notes in computer science. 2004, pp 124-133, issn 0302-9743, isbn 3-540-22817-9, 10 p.Conference Paper

Variant extensions to prove MAS behavioursMERMET, Bruno; FOURNIER, Dominique.Lecture notes in computer science. 2004, pp 409-419, issn 0302-9743, isbn 3-540-22959-0, 11 p.Conference Paper

On the valuation of alternatives for decision-making under uncertaintyYAGER, Ronald R.International journal of intelligent systems. 2002, Vol 17, Num 7, pp 687-707, issn 0884-8173Article

Les composantes sémantiques dans la résolution de problèmes isomorphes = Semantic component in isomorph problem solvingRICHARD, Jean-Francois; CLEMENT, Evelyne; TIJUS, Charles-Albert et al.Revue d'intelligence artificielle. 2002, Vol 16, Num 1-2, pp 191-219, issn 0992-499XArticle

Evolutionary programming for goal-driven dynamic planningVACCARO, James; GUEST, Clark; ROSS, David et al.SPIE proceedings series. 2002, pp 28-39, isbn 0-8194-4489-8Conference Paper